Free variables and bound variables

Results: 147



#Item
121Lisp programming language / Functional languages / Procedural programming languages / Cross-platform software / Theoretical computer science / Lisp / Scheme / Free variables and bound variables / Scope / Software engineering / Computing / Computer programming

Revised4 Report on the Algorithmic Language Scheme H. ABELSON N. I. ADAMS IV D. H. BARTLEY G. BROOKS

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2007-08-30 20:21:55
122Software engineering / Predicate logic / Automated theorem proving / Unification / Higher-order abstract syntax / Prolog / Free variables and bound variables / First-order logic / Function / Mathematics / Mathematical logic / Logic programming

Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2004-10-28 08:33:44
123Lambda calculus / Type theory / Logic programming / Formal methods / Unification / Higher-order abstract syntax / Function / Hindley–Milner / Free variables and bound variables / Mathematics / Software engineering / Theoretical computer science

αProlog User’s Guide & Language Reference Version 0.3 DRAFT

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2004-10-28 08:33:38
124Personal pronouns / Mathematical notation / Generative linguistics / Semantics / Reflexive pronoun / Logophoricity / Ellipsis / Free variables and bound variables / Government and binding theory / Linguistics / Syntax / Philosophy of language

Coreferential Interpretations of Reflexives in Picture Noun Phrases: An Experimental Approach

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 12:58:28
125Theoretical computer science / Free variables and bound variables / Computing / Applied mathematics / Sturm–Liouville theory / Spectral theory of ordinary differential equations / Mathematics / Computability theory / Lambda calculus

GDP Festschrift ENTCS, to appear

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:46:45
126Mathematical logic / Type theory / Logic in computer science / Theory of computation / Simply typed lambda calculus / Free variables and bound variables / Combinatory logic / Type system / Normalisation by evaluation / Theoretical computer science / Mathematics / Lambda calculus

An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2013-07-16 11:18:48
127Philosophy of language / Discourse representation theory / Donkey sentence / Anaphora / Free variables and bound variables / Binding / Antecedent / First-order logic / Interpretation / Linguistics / Semantics / Syntax

Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2010-11-17 08:04:45
128Mathematical logic / Computability theory / Simply typed lambda calculus / Combinatory logic / Unification / Free variables and bound variables / Variable / Mathematics / Theoretical computer science / Lambda calculus

Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-22 08:41:55
129Functional languages / Procedural programming languages / Cross-platform software / Lisp programming language / Type theory / Scheme / Lisp / Scope / Free variables and bound variables / Software engineering / Computing / Computer programming

Revised5 Report on the Algorithmic Language Scheme RICHARD

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2001-05-16 23:38:54
130Type theory / Lambda calculus / Predicate logic / Logic programming / Higher-order abstract syntax / Unification / Free variables and bound variables / Simply typed lambda calculus / Hindley–Milner / Mathematics / Theoretical computer science / Mathematical logic

Higher-Order Abstract Syntax∗ Frank Pfenning†

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-01-03 16:03:41
UPDATE